[next] [prev] [prev-tail] [tail] [up]

2.2.29 Integrals 2801 to 2900

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 2801

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F A B F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

179 175 69 0 0 294 1168 0 0

N.S.

1 0.98 0.39 0.00 0.00 1.64 6.53 0.00 0.00

time (sec)

N/A 0.323 0.106 0.000 0.000 0.277 4.846 0.000 0.000

Problem 2802

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 25 25 22 54 103 828 98 36

N.S.

1 0.83 0.83 0.73 1.80 3.43 27.60 3.27 1.20

time (sec)

N/A 0.154 0.025 3.778 0.222 0.280 14.623 0.275 6.783

Problem 2803

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 25 25 22 54 67 366 21 36

N.S.

1 0.89 0.89 0.79 1.93 2.39 13.07 0.75 1.29

time (sec)

N/A 0.144 0.009 3.762 0.210 0.271 2.209 0.272 6.880

Problem 2804

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 31 29 54 41 71 36 21

N.S.

1 1.00 1.24 1.16 2.16 1.64 2.84 1.44 0.84

time (sec)

N/A 0.144 0.014 3.863 0.236 0.269 0.447 0.272 6.737

Problem 2805

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 28 27 15 42 26 34 29

N.S.

1 1.00 1.00 0.96 0.54 1.50 0.93 1.21 1.04

time (sec)

N/A 0.142 0.006 3.770 0.223 0.280 0.420 0.307 6.755

Problem 2806

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 25 25 22 17 69 29 23 26

N.S.

1 0.83 0.83 0.73 0.57 2.30 0.97 0.77 0.87

time (sec)

N/A 0.143 0.008 3.990 0.219 0.296 1.324 0.280 6.655

Problem 2807

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 25 25 22 17 97 29 23 26

N.S.

1 0.83 0.83 0.73 0.57 3.23 0.97 0.77 0.87

time (sec)

N/A 0.146 0.011 3.903 0.222 0.272 2.919 0.279 6.788

Problem 2808

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A A A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

20 20 25 16 30 9 19 26 13

N.S.

1 1.00 1.25 0.80 1.50 0.45 0.95 1.30 0.65

time (sec)

N/A 0.142 0.018 0.068 0.287 0.253 0.413 0.272 6.571

Problem 2809

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 25 24 29 9 20 25 13

N.S.

1 1.00 1.25 1.20 1.45 0.45 1.00 1.25 0.65

time (sec)

N/A 0.139 0.009 0.031 0.285 0.275 0.428 0.272 6.491

Problem 2810

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 26 23 6 8 22 15 14

N.S.

1 1.00 1.00 0.88 0.23 0.31 0.85 0.58 0.54

time (sec)

N/A 0.136 0.007 6.366 0.275 0.266 0.399 0.285 6.936

Problem 2811

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 26 25 6 8 22 15 14

N.S.

1 1.00 1.00 0.96 0.23 0.31 0.85 0.58 0.54

time (sec)

N/A 0.133 0.007 6.355 0.277 0.265 0.412 0.281 6.808

Problem 2812

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C C C A C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 28 10 6 6 24 23 15

N.S.

1 1.00 1.00 0.36 0.21 0.21 0.86 0.82 0.54

time (sec)

N/A 0.137 0.016 3.794 0.287 0.262 0.387 0.265 6.938

Problem 2813

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 25 25 22 108 135 0 851 110

N.S.

1 0.83 0.83 0.73 3.60 4.50 0.00 28.37 3.67

time (sec)

N/A 0.142 0.029 0.106 0.223 0.261 0.000 0.297 6.936

Problem 2814

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 25 25 22 66 83 0 408 58

N.S.

1 0.89 0.89 0.79 2.36 2.96 0.00 14.57 2.07

time (sec)

N/A 0.142 0.012 0.079 0.215 0.272 0.000 0.281 6.413

Problem 2815

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 22 24 44 29 121 22

N.S.

1 1.00 1.00 0.88 0.96 1.76 1.16 4.84 0.88

time (sec)

N/A 0.140 0.006 0.081 0.212 0.262 0.680 0.266 6.477

Problem 2816

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 23 22 27 61 31 23 26

N.S.

1 1.00 1.00 0.96 1.17 2.65 1.35 1.00 1.13

time (sec)

N/A 0.141 0.007 0.083 0.207 0.251 0.692 0.283 6.255

Problem 2817

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 25 25 22 43 109 32 26 26

N.S.

1 0.83 0.83 0.73 1.43 3.63 1.07 0.87 0.87

time (sec)

N/A 0.142 0.009 0.087 0.214 0.255 1.846 0.280 6.346

Problem 2818

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 25 25 22 85 151 32 26 26

N.S.

1 0.83 0.83 0.73 2.83 5.03 1.07 0.87 0.87

time (sec)

N/A 0.145 0.013 0.086 0.214 0.259 3.996 0.288 6.376

Problem 2819

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 21 21 22 17 27 41 24 17

N.S.

1 0.70 0.70 0.73 0.57 0.90 1.37 0.80 0.57

time (sec)

N/A 0.140 0.013 0.066 0.202 0.254 0.366 0.282 6.290

Problem 2820

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 19 18 17 17 37 24 17

N.S.

1 1.00 1.00 0.95 0.89 0.89 1.95 1.26 0.89

time (sec)

N/A 0.140 0.005 0.039 0.205 0.272 0.185 0.266 5.956

Problem 2821

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 19 19 22 17 21 36 21 22

N.S.

1 0.83 0.83 0.96 0.74 0.91 1.57 0.91 0.96

time (sec)

N/A 0.136 0.009 0.022 0.215 0.258 0.107 0.272 5.972

Problem 2822

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 21 21 22 17 35 39 62 40

N.S.

1 0.84 0.84 0.88 0.68 1.40 1.56 2.48 1.60

time (sec)

N/A 0.138 0.012 0.024 0.194 0.264 0.195 0.272 5.883

Problem 2823

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 21 21 22 17 46 39 114 54

N.S.

1 0.70 0.70 0.73 0.57 1.53 1.30 3.80 1.80

time (sec)

N/A 0.138 0.014 0.028 0.188 0.261 0.245 0.283 5.977

Problem 2824

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 21 21 22 17 57 39 186 26

N.S.

1 0.70 0.70 0.73 0.57 1.90 1.30 6.20 0.87

time (sec)

N/A 0.143 0.017 0.028 0.205 0.259 0.366 0.275 5.995

Problem 2825

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 25 25 22 49 60 29 21 26

N.S.

1 0.83 0.83 0.73 1.63 2.00 0.97 0.70 0.87

time (sec)

N/A 0.140 0.013 0.073 0.202 0.250 4.079 0.283 6.016

Problem 2826

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 25 25 22 27 36 29 21 24

N.S.

1 0.89 0.89 0.79 0.96 1.29 1.04 0.75 0.86

time (sec)

N/A 0.140 0.008 0.026 0.209 0.237 1.080 0.278 6.012

Problem 2827

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 28 27 13 37 32 20 0

N.S.

1 1.00 1.00 0.96 0.46 1.32 1.14 0.71 0.00

time (sec)

N/A 0.140 0.008 0.023 0.203 0.254 0.510 0.276 0.000

Problem 2828

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 32 29 15 48 27 23 42

N.S.

1 1.00 1.28 1.16 0.60 1.92 1.08 0.92 1.68

time (sec)

N/A 0.142 0.014 0.028 0.228 0.254 0.535 0.273 5.660

Problem 2829

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 25 25 22 37 70 27 43 70

N.S.

1 0.83 0.83 0.73 1.23 2.33 0.90 1.43 2.33

time (sec)

N/A 0.140 0.016 0.030 0.205 0.249 0.820 0.271 5.875

Problem 2830

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 25 25 22 59 92 27 85 98

N.S.

1 0.83 0.83 0.73 1.97 3.07 0.90 2.83 3.27

time (sec)

N/A 0.140 0.019 0.033 0.195 0.244 1.924 0.291 5.963

Problem 2831

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 25 25 22 24 93 1243 52 55

N.S.

1 0.83 0.83 0.73 0.80 3.10 41.43 1.73 1.83

time (sec)

N/A 0.141 0.013 0.129 0.204 0.254 27.339 0.285 6.012

Problem 2832

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 25 25 22 24 58 333 52 24

N.S.

1 0.89 0.89 0.79 0.86 2.07 11.89 1.86 0.86

time (sec)

N/A 0.141 0.009 0.041 0.201 0.241 0.829 0.282 5.715

Problem 2833

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 23 22 24 43 87 50 52

N.S.

1 1.00 1.00 0.96 1.04 1.87 3.78 2.17 2.26

time (sec)

N/A 0.137 0.007 0.037 0.206 0.254 0.252 0.278 5.661

Problem 2834

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 22 27 79 31 144 26

N.S.

1 1.00 1.00 0.88 1.08 3.16 1.24 5.76 1.04

time (sec)

N/A 0.137 0.015 0.030 0.203 0.249 0.566 0.276 5.772

Problem 2835

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 25 25 22 27 112 31 412 110

N.S.

1 0.83 0.83 0.73 0.90 3.73 1.03 13.73 3.67

time (sec)

N/A 0.141 0.021 0.032 0.205 0.245 0.830 0.292 5.901

Problem 2836

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 25 25 22 27 145 31 840 152

N.S.

1 0.83 0.83 0.73 0.90 4.83 1.03 28.00 5.07

time (sec)

N/A 0.138 0.014 0.034 0.208 0.257 1.952 0.301 6.044

Problem 2837

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 34 29 21 37 32 33 0

N.S.

1 1.00 1.26 1.07 0.78 1.37 1.19 1.22 0.00

time (sec)

N/A 0.143 0.020 0.028 0.186 0.343 2.539 0.296 0.000

Problem 2838

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 27 34 22 15 17 58 15 0

N.S.

1 0.84 1.06 0.69 0.47 0.53 1.81 0.47 0.00

time (sec)

N/A 0.141 0.020 0.075 0.192 0.257 0.674 0.279 0.000

Problem 2839

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 34 29 21 51 32 1 31

N.S.

1 1.00 1.26 1.07 0.78 1.89 1.19 0.04 1.15

time (sec)

N/A 0.142 0.024 0.028 0.187 0.333 0.956 0.320 5.851

Problem 2840

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 27 34 22 15 15 80 15 42

N.S.

1 0.79 1.00 0.65 0.44 0.44 2.35 0.44 1.24

time (sec)

N/A 0.152 0.025 0.067 0.188 0.282 0.435 0.319 5.856

Problem 2841

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 29 77 41 86 86 99 86 86

N.S.

1 0.94 2.48 1.32 2.77 2.77 3.19 2.77 2.77

time (sec)

N/A 0.172 0.034 16.515 0.206 0.242 0.030 0.304 0.056

Problem 2842

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 49 172 41 176 176 209 173 162

N.S.

1 0.96 3.37 0.80 3.45 3.45 4.10 3.39 3.18

time (sec)

N/A 0.194 0.032 4.008 0.185 0.240 0.042 0.266 5.802

Problem 2843

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 49 249 41 284 284 357 288 237

N.S.

1 1.02 5.19 0.85 5.92 5.92 7.44 6.00 4.94

time (sec)

N/A 0.195 0.040 3.961 0.191 0.248 0.054 0.283 5.865

Problem 2844

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 12 12 10 11 10 11 10

N.S.

1 1.00 1.00 1.00 0.83 0.92 0.83 0.92 0.83

time (sec)

N/A 0.146 0.003 4.162 0.184 0.252 0.033 0.274 0.061

Problem 2845

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 13 11 12 12 12 13

N.S.

1 1.00 1.00 1.00 0.85 0.92 0.92 0.92 1.00

time (sec)

N/A 0.147 0.004 6.614 0.182 0.235 0.039 0.276 5.794

Problem 2846

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 13 11 22 22 12 11

N.S.

1 1.00 1.00 1.00 0.85 1.69 1.69 0.92 0.85

time (sec)

N/A 0.147 0.004 3.832 0.200 0.240 0.047 0.278 5.952

Problem 2847

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 85 73 289 300 438 0 264 401

N.S.

1 0.91 0.78 3.11 3.23 4.71 0.00 2.84 4.31

time (sec)

N/A 0.222 0.279 4.301 0.246 0.262 0.000 0.278 6.114

Problem 2848

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

55 68 68 0 0 0 0 0 0

N.S.

1 1.24 1.24 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.186 0.247 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2849

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 58 51 91 140 183 0 99 168

N.S.

1 0.94 0.82 1.47 2.26 2.95 0.00 1.60 2.71

time (sec)

N/A 0.205 0.219 3.997 0.240 0.241 0.000 0.276 5.859

Problem 2850

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

55 68 68 0 0 0 0 0 0

N.S.

1 1.24 1.24 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.188 0.183 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2851

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 30 29 28 56 0 38 55

N.S.

1 1.00 1.00 0.97 0.93 1.87 0.00 1.27 1.83

time (sec)

N/A 0.159 0.090 4.174 0.207 0.253 0.000 0.285 5.695

Problem 2852

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

52 52 52 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.177 0.277 0.000 0.000 0.000 0.000 0.000 0.000

Problem 2853

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 29 98 104 95 95 107 105 93

N.S.

1 0.94 3.16 3.35 3.06 3.06 3.45 3.39 3.00

time (sec)

N/A 0.173 0.015 3.864 0.220 0.249 0.026 0.270 0.054

Problem 2854

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 46 203 234 210 210 252 248 191

N.S.

1 0.90 3.98 4.59 4.12 4.12 4.94 4.86 3.75

time (sec)

N/A 0.187 0.028 3.978 0.188 0.241 0.045 0.275 5.444

Problem 2855

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 63 323 406 359 359 437 442 309

N.S.

1 0.89 4.55 5.72 5.06 5.06 6.15 6.23 4.35

time (sec)

N/A 0.201 0.051 4.006 0.207 0.238 0.063 0.286 5.688

Problem 2856

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 32 102 110 116 116 144 138 113

N.S.

1 0.86 2.76 2.97 3.14 3.14 3.89 3.73 3.05

time (sec)

N/A 0.184 0.007 3.895 0.190 0.235 0.033 0.270 0.057

Problem 2857

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 49 207 250 240 240 323 311 221

N.S.

1 0.82 3.45 4.17 4.00 4.00 5.38 5.18 3.68

time (sec)

N/A 0.197 0.010 3.943 0.195 0.237 0.049 0.286 5.529

Problem 2858

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 66 327 441 398 398 552 544 348

N.S.

1 0.80 3.94 5.31 4.80 4.80 6.65 6.55 4.19

time (sec)

N/A 0.200 0.016 3.876 0.197 0.273 0.078 0.289 5.614

Problem 2859

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 157 159 92 0 164 46 160 169

N.S.

1 1.01 1.02 0.59 0.00 1.05 0.29 1.03 1.08

time (sec)

N/A 0.310 0.055 4.002 0.000 0.253 0.175 0.298 0.273

Problem 2860

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 147 142 78 0 135 27 180 158

N.S.

1 1.02 0.99 0.54 0.00 0.94 0.19 1.25 1.10

time (sec)

N/A 0.310 0.022 4.003 0.000 0.262 0.142 0.305 0.252

Problem 2861

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 22 21 20 42 42 21 42

N.S.

1 1.00 1.00 0.95 0.91 1.91 1.91 0.95 1.91

time (sec)

N/A 0.161 0.009 6.425 0.186 0.261 0.127 0.292 5.553

Problem 2862

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 136 114 76 0 452 29 141 150

N.S.

1 0.97 0.81 0.54 0.00 3.23 0.21 1.01 1.07

time (sec)

N/A 0.289 0.021 0.042 0.000 0.274 0.112 0.291 5.785

Problem 2863

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 131 116 71 0 442 26 160 144

N.S.

1 0.94 0.83 0.51 0.00 3.16 0.19 1.14 1.03

time (sec)

N/A 0.274 0.014 0.044 0.000 0.285 0.113 0.291 0.264

Problem 2864

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 37 36 54 56 51 49 58 56

N.S.

1 1.03 1.00 1.50 1.56 1.42 1.36 1.61 1.56

time (sec)

N/A 0.167 0.012 6.447 0.187 0.249 0.218 0.299 5.575

Problem 2865

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 155 140 86 0 150 44 175 138

N.S.

1 1.01 0.91 0.56 0.00 0.97 0.29 1.14 0.90

time (sec)

N/A 0.309 0.050 3.982 0.000 0.261 0.283 0.286 0.410

Problem 2866

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 152 139 87 0 236 61 193 201

N.S.

1 0.97 0.89 0.56 0.00 1.51 0.39 1.24 1.29

time (sec)

N/A 0.299 0.039 3.958 0.000 0.271 0.418 0.296 0.345

Problem 2867

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 51 44 75 98 158 100 41 104

N.S.

1 0.91 0.79 1.34 1.75 2.82 1.79 0.73 1.86

time (sec)

N/A 0.199 0.026 4.048 0.194 0.282 0.643 0.316 5.699

Problem 2868

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

172 171 152 141 0 838 109 205 240

N.S.

1 0.99 0.88 0.82 0.00 4.87 0.63 1.19 1.40

time (sec)

N/A 0.318 0.095 3.837 0.000 0.298 0.557 0.299 0.384

Problem 2869

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

170 164 151 124 0 810 92 214 185

N.S.

1 0.96 0.89 0.73 0.00 4.76 0.54 1.26 1.09

time (sec)

N/A 0.305 0.072 3.897 0.000 0.285 0.510 0.338 0.315

Problem 2870

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 23 22 21 52 58 21 43

N.S.

1 1.00 1.00 0.96 0.91 2.26 2.52 0.91 1.87

time (sec)

N/A 0.164 0.015 3.867 0.200 0.269 0.497 0.292 5.533

Problem 2871

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

172 171 152 144 0 852 105 205 216

N.S.

1 0.99 0.88 0.84 0.00 4.95 0.61 1.19 1.26

time (sec)

N/A 0.313 0.085 0.062 0.000 0.277 0.530 0.295 5.744

Problem 2872

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

170 164 151 127 0 808 92 214 207

N.S.

1 0.96 0.89 0.75 0.00 4.75 0.54 1.26 1.22

time (sec)

N/A 0.293 0.055 0.060 0.000 0.289 0.467 0.277 5.701

Problem 2873

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 54 48 100 104 169 110 101 105

N.S.

1 0.92 0.81 1.69 1.76 2.86 1.86 1.71 1.78

time (sec)

N/A 0.203 0.026 4.108 0.195 0.269 0.728 0.289 0.226

Problem 2874

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

189 190 168 154 0 384 170 204 231

N.S.

1 1.01 0.89 0.81 0.00 2.03 0.90 1.08 1.22

time (sec)

N/A 0.335 0.092 4.092 0.000 0.252 0.958 0.299 6.126

Problem 2875

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

189 187 166 140 0 509 199 244 255

N.S.

1 0.99 0.88 0.74 0.00 2.69 1.05 1.29 1.35

time (sec)

N/A 0.332 0.075 3.781 0.000 0.271 1.269 0.291 6.239

Problem 2876

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 71 60 126 222 431 250 65 211

N.S.

1 0.89 0.75 1.58 2.78 5.39 3.12 0.81 2.64

time (sec)

N/A 0.213 0.073 4.098 0.201 0.381 1.647 0.302 6.159

Problem 2877

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

205 206 182 214 0 1706 287 274 399

N.S.

1 1.00 0.89 1.04 0.00 8.32 1.40 1.34 1.95

time (sec)

N/A 0.341 0.167 3.831 0.000 0.299 1.317 0.305 6.154

Problem 2878

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

201 197 179 186 0 1650 260 268 347

N.S.

1 0.98 0.89 0.93 0.00 8.21 1.29 1.33 1.73

time (sec)

N/A 0.330 0.111 4.014 0.000 0.304 1.274 0.304 6.013

Problem 2879

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 23 22 21 133 153 21 131

N.S.

1 1.00 1.00 0.96 0.91 5.78 6.65 0.91 5.70

time (sec)

N/A 0.156 0.017 3.932 0.187 0.255 1.210 0.303 5.666

Problem 2880

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

202 206 180 214 0 1708 296 268 403

N.S.

1 1.02 0.89 1.06 0.00 8.46 1.47 1.33 2.00

time (sec)

N/A 0.339 0.107 0.089 0.000 0.285 1.236 0.292 0.529

Problem 2881

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

198 197 176 185 0 1646 267 264 354

N.S.

1 0.99 0.89 0.93 0.00 8.31 1.35 1.33 1.79

time (sec)

N/A 0.317 0.092 0.089 0.000 0.280 1.163 0.289 5.924

Problem 2882

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 74 63 143 245 467 269 144 230

N.S.

1 0.90 0.77 1.74 2.99 5.70 3.28 1.76 2.80

time (sec)

N/A 0.214 0.050 4.116 0.212 0.254 1.695 0.305 6.201

Problem 2883

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

219 225 196 215 0 855 391 223 431

N.S.

1 1.03 0.89 0.98 0.00 3.90 1.79 1.02 1.97

time (sec)

N/A 0.377 0.135 3.918 0.000 0.283 2.036 0.299 6.996

Problem 2884

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

219 222 192 188 0 1024 435 365 520

N.S.

1 1.01 0.88 0.86 0.00 4.68 1.99 1.67 2.37

time (sec)

N/A 0.367 0.165 3.907 0.000 0.310 2.499 0.314 7.033

Problem 2885

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 92 80 161 438 889 500 80 438

N.S.

1 0.91 0.79 1.59 4.34 8.80 4.95 0.79 4.34

time (sec)

N/A 0.237 0.111 3.913 0.232 0.304 2.920 0.328 7.343

Problem 2886

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

168 160 163 96 0 179 66 175 151

N.S.

1 0.95 0.97 0.57 0.00 1.07 0.39 1.04 0.90

time (sec)

N/A 0.313 0.028 3.870 0.000 0.255 0.188 0.306 0.302

Problem 2887

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 150 145 82 0 147 44 192 162

N.S.

1 0.96 0.93 0.53 0.00 0.94 0.28 1.23 1.04

time (sec)

N/A 0.311 0.014 3.902 0.000 0.299 0.154 0.299 5.792

Problem 2888

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 46 45 45 46 46 45

N.S.

1 1.00 1.00 1.84 1.80 1.80 1.84 1.84 1.80

time (sec)

N/A 0.163 0.009 4.012 0.194 0.278 0.137 0.289 5.541

Problem 2889

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 137 115 77 0 458 41 150 127

N.S.

1 0.96 0.80 0.54 0.00 3.20 0.29 1.05 0.89

time (sec)

N/A 0.292 0.009 0.050 0.000 0.281 0.125 0.319 0.407

Problem 2890

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 40 42 57 62 54 53 64 62

N.S.

1 0.95 1.00 1.36 1.48 1.29 1.26 1.52 1.48

time (sec)

N/A 0.174 0.013 6.447 0.196 0.269 0.246 0.276 0.119

Problem 2891

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

166 158 143 96 0 156 54 229 154

N.S.

1 0.95 0.86 0.58 0.00 0.94 0.33 1.38 0.93

time (sec)

N/A 0.313 0.053 4.123 0.000 0.251 0.306 0.308 5.877

Problem 2892

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

168 155 142 91 0 245 75 199 200

N.S.

1 0.92 0.85 0.54 0.00 1.46 0.45 1.18 1.19

time (sec)

N/A 0.309 0.041 4.376 0.000 0.272 0.472 0.302 0.425

Problem 2893

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 54 47 79 116 170 121 85 118

N.S.

1 0.83 0.72 1.22 1.78 2.62 1.86 1.31 1.82

time (sec)

N/A 0.202 0.026 3.964 0.211 0.299 0.696 0.290 5.914

Problem 2894

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

184 174 155 145 0 940 133 224 266

N.S.

1 0.95 0.84 0.79 0.00 5.11 0.72 1.22 1.45

time (sec)

N/A 0.315 0.089 3.868 0.000 0.284 0.604 0.315 6.175

Problem 2895

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

182 167 154 128 0 906 112 230 194

N.S.

1 0.92 0.85 0.70 0.00 4.98 0.62 1.26 1.07

time (sec)

N/A 0.308 0.027 3.904 0.000 0.286 0.544 0.332 0.351

Problem 2896

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 26 47 55 55 60 46 46

N.S.

1 1.00 1.00 1.81 2.12 2.12 2.31 1.77 1.77

time (sec)

N/A 0.162 0.012 4.044 0.208 0.239 0.507 0.287 5.779

Problem 2897

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

176 172 153 146 0 894 122 218 192

N.S.

1 0.98 0.87 0.83 0.00 5.08 0.69 1.24 1.09

time (sec)

N/A 0.318 0.053 0.068 0.000 0.287 0.530 0.302 0.320

Problem 2898

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 57 51 109 114 173 122 110 116

N.S.

1 0.84 0.75 1.60 1.68 2.54 1.79 1.62 1.71

time (sec)

N/A 0.203 0.026 6.639 0.212 0.252 0.783 0.302 5.988

Problem 2899

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

204 193 171 158 0 399 197 270 261

N.S.

1 0.95 0.84 0.77 0.00 1.96 0.97 1.32 1.28

time (sec)

N/A 0.341 0.047 3.845 0.000 0.275 1.047 0.296 6.353

Problem 2900

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

204 190 169 144 0 527 233 253 291

N.S.

1 0.93 0.83 0.71 0.00 2.58 1.14 1.24 1.43

time (sec)

N/A 0.332 0.057 4.044 0.000 0.280 1.357 0.311 6.656

[next] [prev] [prev-tail] [front] [up]